trait A {
    type S
}
